ALGOL 68 - PDFSEARCH.IO - Document Search Engine

ALGOL 68
Results: 3011

#	Item
781	Coelho & Jouvelot & Ancourt & Irigoin Data and Process Abstraction in PIPS Internal Representation Fabien Coelho, Pierre Jouvelot, Corinne Ancourt, Franc¸ois Irigoin Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2011-04-08 11:00:15 Computer programming C programming language C++ Procedural programming languages Type theory Typedef Pointer Struct ALGOL 68 Computing Software engineering Data types
782	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
783	Making Aspects Natural: Events and Composition Christoph Bockisch, Somayeh Malakuti, Mehmet Ak¸sit Software Engineering group, University of Twente, 7500 AE Enschede, The Netherlands Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-04-03 09:06:12 Aspect-oriented software development Aspect-oriented programming AspectJ Join point E Aspect ALGOL 68 C++ classes Runtime verification Software development Software Computing
784	Combinators for Impure yet Hygienic Code Generation Yukiyoshi Kameyama Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Language: English - Date: 2014-01-05 02:30:19 Procedural programming languages Data types Lambda calculus C++ Functional programming ALGOL 68 Generator List comprehension Type system Software engineering Computing Computer programming
785	Tips for Computer Scientists on Standard ML (Revised) Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2009-08-30 11:24:46 Procedural programming languages Functional languages Data types C++ Type theory Standard ML C++ classes Declaration ALGOL 68 Software engineering Computing Computer programming
786	Polymorphic Functions with Set-Theoretic Types Ar tifact Introduction Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-10-31 06:48:56 Computer science Lambda calculus Type inference Hindley–Milner Type system Unification Symbol System F ALGOL 68 Type theory Programming language theory Theoretical computer science
787	7tthh International Abilympics IA2007 V ttiioonnaallofSSWeb kkiillllPages Add to Reading List Source URL: ia2007.jeed.or.jp Language: English - Date: 2008-10-02 22:14:55 HTML element Cascading Style Sheets Web page Microsoft Word ALGOL 68 TeX Computing Software HTML
788	Linguistics 555 — Programming for Computational Linguists Robert Felty Fall 2008 Instructor: Robert Felty Class meeting times: Monday and Wednesday, 4:00-5:15 p.m., LH 030 Add to Reading List Source URL: robfelty.com Language: English - Date: 2008-11-17 12:45:14 Procedural programming languages Scripting languages Python C Unix Object-oriented programming ALGOL 68 Software engineering Computing Computer programming
789	4.Syntax This section presents an informal syntax for Joule. For a formal syntax, see Appendix B. Syntactic abstraction, the set of techniques for extending the Joule syntax, is discussed but not specified in this docum Add to Reading List Source URL: erights.org Language: English - Date: 2004-12-04 19:43:55 Procedural programming languages Cross-platform software Lisp Lisp programming language Scheme Regular expression C ALGOL 68 SQL Software engineering Computing Programming language theory
790	FizzBuzz EDSAC Olve Maudal A 5 minute lightning talk at ACCU 2015, April 24, Bristol, UK https://youtu.be/x-vS0WcJyNM Add to Reading List Source URL: www.pvv.org Language: English - Date: 2015-04-24 21:06:27 Programming language theory Procedural programming languages Software engineering ALGOL 68 Computing Electronic Delay Storage Automatic Calculator University of Cambridge Computer Laboratory

UPDATE